2

THE ∀∃ THEORY OF PEANO Σ 1 SENTENCES

Year:
2008
Language:
english
File:
PDF, 432 KB
english, 2008
3

Duality, non-standard elements, and dynamic properties of r.e. sets

Year:
2016
Language:
english
File:
PDF, 2.03 MB
english, 2016
4

Remarks on Uniformly Finitely Precomplete Positive Equivalences

Year:
1996
Language:
english
File:
PDF, 950 KB
english, 1996
5

A note on the diagonalizable algebras of PA and ZF

Year:
1993
Language:
english
File:
PDF, 886 KB
english, 1993
6

Undecidability in diagonalizable algebras

Year:
1997
Language:
english
File:
PDF, 2.13 MB
english, 1997
7

Corrigendum: The ∀∃ theory of Peano Σ1 sentences

Year:
2017
Language:
english
File:
PDF, 117 KB
english, 2017
9

On Rosser's Provability Predicate

Year:
1991
Language:
english
File:
PDF, 693 KB
english, 1991
10

The Lindenbaum fixed point algebra is undecidable

Year:
1991
Language:
english
File:
PDF, 263 KB
english, 1991
11

Effectively inseparable Boolean algebras in lattices of sentences

Year:
2010
Language:
english
File:
PDF, 307 KB
english, 2010
14

Salt stress or salt shock: which genes are we studying?

Year:
2013
Language:
english
File:
PDF, 637 KB
english, 2013
16

Isomorphisms of Diagonalizable Algebras

Year:
1997
Language:
english
File:
PDF, 468 KB
english, 1997
21

ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL

Year:
1991
Language:
english
File:
PDF, 919 KB
english, 1991
22

Uniform Density in Lindenbaum Algebras

Year:
2014
Language:
english
File:
PDF, 355 KB
english, 2014
29

Comparison of SNP and CAPS markers application in genetic research in wheat and barley

Year:
2016
Language:
english
File:
PDF, 294 KB
english, 2016
30

CAPS markers in plant biology

Year:
2016
Language:
english
File:
PDF, 213 KB
english, 2016
43

Plant Genetics and Gene Study

Year:
2019
Language:
english
File:
PDF, 1.10 MB
english, 2019
44

R.e. prime powers and total rigidity

Year:
2020
File:
PDF, 860 KB
2020